projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0648a34) | patch
xen/arm: don't set the internal Xen timer if virt_timer is masked
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 18 Feb 2013 16:02:29 +0000 (16:02 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 10 Apr 2013 15:08:36 +0000 (16:08 +0100)
commitc96513ff9d564b019ab8849d5bd8c4c81b19e871
tree19e8610e9e8524ce7d174654558095492278b622tree | snapshot
parent0648a3437e9adc2f297f16286b1d58d598c0b865commit | diff
xen/arm: don't set the internal Xen timer if virt_timer is masked

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vtimer.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.